Radioisotope Heater Unit-Based Stirling Power Convertor Development at NASA Glenn Research Center

Stirling Radioisotope Power Systems (RPS) are being developed as an option to provide power on future space science missions where robotic spacecraft will orbit, flyby, land or rove. A variety of mission concepts have been studied by NASA and the U. S. Department of Energy that would utilize RPS for landers, probes, and rovers and only require milliwatts to tens of watts of power. These missions would contain science measuring instruments that could be distributed across planetary surfaces or near objects of interest in space solar flux insufficient for using solar cells. A low power Stirling convertor is being developed to provide an RPS option for future low power applications. Initial concepts convert heat available from several Radioisotope Heater Units to electrical power for spacecraft instruments and communication. Initial development activity includes defining and evaluating a variety of Stirling configurations and selecting one for detailed design, research of advanced manufacturing methods that could simplify fabrication, evaluating thermal interfaces, characterizing components and subassemblies to validate design codes, and preparing for an upcoming demonstration of proof of concept in a laboratory environment

Anchored phosphatases modulate glucose homeostasis.

Endocrine release of insulin principally controls glucose homeostasis. Nutrient-induced exocytosis of insulin granules from pancreatic β-cells involves ion channels and mobilization of Ca(2+) and cyclic AMP (cAMP) signalling pathways. Whole-animal physiology, islet studies and live-β-cell imaging approaches reveal that ablation of the kinase/phosphatase anchoring protein AKAP150 impairs insulin secretion in mice. Loss of AKAP150 impacts L-type Ca(2+) currents, and attenuates cytoplasmic accumulation of Ca(2+) and cAMP in β-cells. Yet surprisingly AKAP150 null animals display improved glucose handling and heightened insulin sensitivity in skeletal muscle. More refined analyses of AKAP150 knock-in mice unable to anchor protein kinase A or protein phosphatase 2B uncover an unexpected observation that tethering of phosphatases to a seven-residue sequence of the anchoring protein is the predominant molecular event underlying these metabolic phenotypes. Thus anchored signalling events that facilitate insulin secretion and glucose homeostasis may be set by AKAP150 associated phosphatase activity

ERPs and their brain sources in perceptual and conceptual prospective memory tasks: commonalities and differences between the two tasks

The present study examined whether Event-Related Potential (ERP) components and their neural generators are common to perceptual and conceptual prospective memory (PM) tasks or specific to the form of PM cue involved. We used Independent Component Analysis (ICA) to study the contributions of brain source activities to scalp ERPs across the different phases of two event-based PM-tasks: (1) holding intentions during a delay (monitoring) (2) detecting the correct context to perform the delayed intention (cue detection) and (3) carrying out the action (realisation of delayed intentions). Results showed that monitoring for both perceptual and conceptual PM-tasks was characterised by an enhanced early occipital negativity (N200). In addition the conceptual PM-task showed a long-lasting effect of monitoring significant around 700 ms. Perceptual PM-task cues elicited an N300 enhancement associated with cue detection, whereas a midline N400-like response was evoked by conceptual PM-task cues. The Prospective Positivity associated with realisation of delayed intentions was observed in both conceptual and perceptual tasks. A common frontal-midline brain source contributed to the Prospective Positivity in both tasks and a strong contribution from parieto-frontal brain sources was observed only for the perceptually cued PM-task. These findings support the idea that: (1) The enhanced N200 can be understood as a neural correlate of a ‘retrieval mode’ for perceptual and conceptual PM-tasks, and additional strategic monitoring is implemented according the nature of the PM task; (2) ERPs associated with cue detection are specific to the nature of the PM cues; (3) Prospective Positivity reflects a general PM process, but the specific brain sources contributing to it depend upon the nature of the PM task

Symmetry-Preserving Program Representations for Learning Code Semantics

Large Language Models (LLMs) have shown promise in automated program reasoning, a crucial aspect of many security tasks. However, existing LLM architectures for code are often borrowed from other domains like natural language processing, raising concerns about their generalization and robustness to unseen code. A key generalization challenge is to incorporate the knowledge of code semantics, including control and data flow, into the LLM architectures. Drawing inspiration from examples of convolution layers exploiting translation symmetry, we explore how code symmetries can enhance LLM architectures for program analysis and modeling. We present a rigorous group-theoretic framework that formally defines code symmetries as semantics-preserving transformations and provides techniques for precisely reasoning about symmetry preservation within LLM architectures. Using this framework, we introduce a novel variant of self-attention that preserves program symmetries, demonstrating its effectiveness in generalization and robustness through detailed experimental evaluations across different binary and source code analysis tasks. Overall, our code symmetry framework offers rigorous and powerful reasoning techniques that can guide the future development of specialized LLMs for code and advance LLM-guided program reasoning tasks

Preventing an outbreak of SARS-CoV-2 on campus using wastewater surveillance

Background: SARS-CoV-2, the cause of COVID-19, is an enveloped virus that targets the respiratory tract and is shed in the feces of infected individuals. Quantification of viral material excreted into the sewershed and collected at municipal wastewater treatment plants can act as an accurate measure of community infection rates and provide a warning of an increase in community spread before clinical testing. However, wastewater surveillance is more effective when samples are collected “upstream” of wastewater treatment facilities where action can be taken to mitigate transmission. Wastewater surveillance at University of Windsor residence halls has prevented SARS-CoV-2 outbreaks. Methods: Moore swabs (passive sampling devices that collect wastewater through filtration or absorption) were deployed in sewer laterals originating from residence halls for 24-hours on a twice weekly basis. Wastewater extruded from passive samplers was processed through a 0.22µm cartridge filter to concentrate particle-associated virus and RNA was extracted from the filters. Reverse transcriptase quantitative polymerase chain reaction (RT-qPCR) was used to measure the concentration of SARS-CoV-2 RNA within wastewater. Purpose: This project aimed to identify SARS-CoV-2 infections within the residence halls at the University of Windsor and prevent outbreak escalation by mitigating community spread. Another goal is to estimate of fecal shedding rates of the Delta Variant of Concern of SARS-CoV-2 in a non-clinical setting. Results: A positive result in a routine twice weekly sample at a campus residence hall triggered higher frequency monitoring and the isolation of signal to a single wing of a residence hall. Persistent positive results within the wastewater led to a request for voluntary rapid antigen testing and the isolation of infected individuals preventing further transmission. Conclusion: Wastewater surveillance remains a useful early indicator of infection in congregate living settings. Detections can trigger enhanced public health measures including messaging to encourage testing, masking, and distancing

NASA Low Power Stirling Convertor for Small Landers, Probes, and Rovers Operating in Darkness

A variety of mission concepts have been studied by NASA and the U. S. Department of Energy that would utilize low power Radioisotope Power Systems (RPS) for probes, landers rovers, and repeaters. These missions would contain science instruments distributed across planetary surfaces or near objects of interest where solar flux is insufficient for using solar cells. Landers could be used to provide data like radiation, temperature, pressure, seismic activity, and other surface measurements for planetary science and to inform future mission planners. The studies proposed using fractional versions of the General Purpose Heat Source (GPHS) or multiple Light Weight Radioisotope Heater Units (LWRHU) to heat power conversion technologies for science instruments and communication. Dynamic power systems are capable of higher conversion efficiencies, which could enable equal power using less fuel or more power using equal fuel, when compared to less efficient static power conversion technologies. Providing spacecraft with more power would decrease duty cycling of basic functions and, therefore, increase the quality and abundance of science data. Low power Stirling convertors are being developed at NASA Glenn Research Center (GRC) to provide future micro spacecraft with electrical power by converting heat from one or more LWRHUs. An initial design converts multiple watts of heat to one watt of electrical power output using a Stirling convertor. Development of the concept includes maturation of convertor and controller designs, performance evaluation of an evacuated metal foil insulation, and development of system interfaces. Demonstration of the convertor is planned and represents a new class of RPS with power levels an order of magnitude lower than previous practical designs

NASA Low-Power Stirling Convertor for Small Landers, Probes, and Rovers Operating in Darkness

A variety of mission concepts have been studied by NASA and the U. S. Department of Energy that would utilize low power Radioisotope Power Systems (RPS) for landers, probes, and rovers. These missions would contain science measuring instruments distributed across planetary surfaces or near objects of interest where solar flux is insufficient for using solar cells. Landers could be used to provide data like wind, temperature, pressure, seismic activity, and other planetary measurements to mission planners or future explorers. The studies proposed using fractional versions of the General Purpose Heat Source (GPHS) or multiple Light Weight Radioisotope Heater Units (LWRHU) to heat power conversion technologies for science instruments and communication. Dynamic power systems are capable of higher conversion efficiencies, which could enable equal power using less fuel or more power using equal fuel, when compared to less efficient static power conversion technologies. Providing spacecraft with more power would decrease duty cycling of basic functions and, therefore, increase the quality and abundance of science data. Low power Stirling convertors are being developed at NASA Glenn Research Center (GRC) to provide future micro spacecraft with electrical power by converting heat from one or more LWRHUs. An initial design converts multiple Watts of heat to one Watt of electrical power output using a Stirling convertor. Development of the concept includes maturation of convertor and controller designs, performance evaluation of an evacuated metal foil insulation, and development of system interfaces

Stress Transmission through Three-Dimensional Ordered Granular Arrays

We measure the local contact forces at both the top and bottom boundaries of three-dimensional face-centered-cubic and hexagonal-close-packed granular crystals in response to an external force applied to a small area at the top surface. Depending on the crystal structure, we find markedly different results which can be understood in terms of force balance considerations in the specific geometry of the crystal. Small amounts of disorder are found to create additional structure at both the top and bottom surfaces.Comment: 9 pages including 9 figures (many in color) submitted to PR

Crude incidence in two-phase designs in the presence of competing risks.

BackgroundIn many studies, some information might not be available for the whole cohort, some covariates, or even the outcome, might be ascertained in selected subsamples. These studies are part of a broad category termed two-phase studies. Common examples include the nested case-control and the case-cohort designs. For two-phase studies, appropriate weighted survival estimates have been derived; however, no estimator of cumulative incidence accounting for competing events has been proposed. This is relevant in the presence of multiple types of events, where estimation of event type specific quantities are needed for evaluating outcome.MethodsWe develop a non parametric estimator of the cumulative incidence function of events accounting for possible competing events. It handles a general sampling design by weights derived from the sampling probabilities. The variance is derived from the influence function of the subdistribution hazard.ResultsThe proposed method shows good performance in simulations. It is applied to estimate the crude incidence of relapse in childhood acute lymphoblastic leukemia in groups defined by a genotype not available for everyone in a cohort of nearly 2000 patients, where death due to toxicity acted as a competing event. In a second example the aim was to estimate engagement in care of a cohort of HIV patients in resource limited setting, where for some patients the outcome itself was missing due to lost to follow-up. A sampling based approach was used to identify outcome in a subsample of lost patients and to obtain a valid estimate of connection to care.ConclusionsA valid estimator for cumulative incidence of events accounting for competing risks under a general sampling design from an infinite target population is derived